package com.mathmodeling.repository;

import com.mathmodeling.entity.User;
import org.springframework.data.jpa.repository.JpaRepository;
import org.springframework.stereotype.Repository;

import java.util.Optional;

@Repository
public interface UserRepository extends JpaRepository<User, String> {
    
    /**
     * 根据用户名查找用户
     */
    Optional<User> findByUsername(String username);
    
    /**
     * 检查用户名是否存在
     */
    boolean existsByUsername(String username);
    
    /**
     * 根据团队ID查找用户
     */
    Optional<User> findByTeamId(String teamId);
    
    /**
     * 检查学号是否存在
     */
    boolean existsByStudentId(String studentId);
} 